Quantum Optimization for Software Engineering